Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
c(z, x, a) → f(b(b(f(z), z), x))
b(y, b(z, a)) → f(b(c(f(a), y, z), z))
f(c(c(z, a, a), x, a)) → z
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
c(z, x, a) → f(b(b(f(z), z), x))
b(y, b(z, a)) → f(b(c(f(a), y, z), z))
f(c(c(z, a, a), x, a)) → z
Q is empty.